数据结构里"树"和"森林"的定义是什么?

树是一种特殊的图，这种图是连通的，并且边数恰好比顶点数少一
即 树集= { G=(V,E) : |V|=0 或 G连通且|E|=|V|-1}

森林是很多棵树组成的图
严格定义 森林集 = { G=(V,E) : 存在V的划分(V1,V2,...,Vn)，使 对于任意i!=j,u属于Vi且v属于Vj，有(u,v)不属于E 且 G1=(V1,E1)、G2=(V2,E2)、...Gn=(Vn,En)都属于树集(Ei={(u,v) : u,v属于Vi 且 (u,v)属于E}) }